翻訳と辞書 |
language for communicating systems : FOLDOC | Language for Communicating Systems (LCS) A concurrent SML by Bernard Berthomieu with {behaviours} and processes, based upon {higher order CCS}. LCS is implemented as a {bytecode interpreter} and runs on Sun SPARC, SGI MIPS, and Linux. Latest version: 5.1, as of 2000-03-17. {(http://laas.fr/~bernard/lcs.html)}. E-mail: Bernard Berthomieu . Mailing list: lcs@laas.fr (2000-03-28)
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|